(0 18 15)(1 7 5)(2 10 4)(3 19 16)(6 11 8)(9 17 14)(12 20 13)
ALLOWS (11/8)-SEQUENCE
1: (13 16 20)

(0 18 15)(1 7 5)(2 10 4)(3 19 16 12 20)(6 11 8)(9 17 14)(13)
2: (0 18 15)

(0)(1 7 5)(2 10 4)(3 19 16 12 20)(6 11 8)(9 17 14)(13)(15)(18)
3: (9 17 14)

(0)(1 7 5)(2 10 4)(3 19 16 12 20)(6 11 8)(9)(13)(14)(15)(17)(18)
4: (3 19 16)

(0)(1 7 5)(2 10 4)(3 12 20)(6 11 8)(9)(13)(14)(15)(16)(17)(18)(19)